Program logic - PDFSEARCH.IO - Document Search Engine

Program logic
Results: 2056

#	Item
261	Outcome Based Planning and Evaluation Wednesday, May 27, 2015 from 8:00am to 12:30pm Cleveland Convention Center 1 St. Clair Avenue, NE Cleveland, OH Orchestras have powerful stories to tell about how their organizations Add to Reading List Source URL: www.americanorchestras.org Language: English - Date: 2015-03-17 11:48:57 Impact assessment Methodology Program evaluation Logic model Performance measurement Empowerment evaluation Participatory evaluation Evaluation methods Evaluation Sociology
262	Review of Metareasoning: Thinking about thinking, ed. Michael Cox and Anita Raja, MIT Press, 2011, vii+340 pages. Metareasoning is reasoning about a reasoning process. This book is a collection of twenty recent research Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2011-07-23 17:48:38 Knowledge Reasoning system Inference Algorithm Reason Mathematical optimization Program optimization Reasoning Logic Science
263	Integrating Formal Program Verification with Testing Cyrille Comar, Johannes Kanig and Yannick Moy AdaCore, 46 rue d’Amsterdam, FParis (France) {comar,kanig,moy}@adacore.com Abstract Verification activities mand Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-03-18 14:32:40 Logic in computer science SPARK Subroutine Postcondition Formal methods Formal verification KeY Precondition Global variable Software engineering Computer programming Computing
264	Reasoning about Function Objects Martin Nordio1 , Cristiano Calcagno??23 , Bertrand Meyer1 , Peter M¨ uller1 , and 1 Julian Tschannen 1 Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2011-02-25 03:52:43 Logic in computer science Subroutines Object-oriented programming Procedural programming languages Eiffel Program logic Postcondition Precondition Function object Software engineering Computing Computer programming
265	A Probabilistic Hoare-style logic for Game-based Cryptographic Proofs (Extended Version) Ricardo Corin and Jerry den Hartog {ricardo.corin,jerry.denhartog}@cs.utwente.nl Department of Computer Science, Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2006-04-26 14:51:39 Model theory Program logic Logic in computer science Predicate logic Hoare logic First-order logic Function Algorithm Probabilistic logic Mathematics Logic Mathematical logic
266	Innovative Idea Poster – AAAE, 2014 A Logic Model for Agricultural Literacy Programming Debra M. Spielmaker, Associate Professor School of Applied Sciences, Technology & Education Add to Reading List Source URL: www.agclassroom.org Language: English - Date: 2015-02-05 22:14:49 Academia Agriculture in the classroom Education in the United States United States Department of Agriculture Logic model Norman Borlaug Agricultural education Agriculture Program evaluation Science Evaluation methods Evaluation
267	Microsoft Word - SourceBook_2E_17_Sept_07_EN-6+9.doc Add to Reading List Source URL: www.mfdr.org Language: English - Date: 2007-10-29 16:42:32 Project management Aid effectiveness International economics Program management Sociology Logic model Impact evaluation Development International development Evaluation methods
268	IPDET Module 4: Understanding the Evaluation Context and Program Theory of Change Add to Reading List Source URL: www.cabinet.gov.mn Language: English - Date: 2010-07-25 22:19:01 Science Logic model Impact evaluation Evaluation Evaluation methods Sociology
269	Chapter 2: Algorithmics Quotation Algorithmic Adventures From Knowledge to Magic Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2010-10-12 03:18:13 Theoretical computer science Computer program Mathematics Models of computation Computability theory Computing Algorithm Mathematical logic
270	DESIGN SUPPORT BLUEPRINT PLANNING Policy What are the policy priorities for innovation? Add to Reading List Source URL: www.seeplatform.eu Language: English - Date: 2012-12-17 06:31:15 Methodology Architectural design Arts Design Impact assessment Service design Program evaluation Logic model Evaluation methods Evaluation Sociology

UPDATE